-
1 proof theory
теория доказательств
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > proof theory
-
2 proof theory
circuit theory — теория схем; теория цепей
-
3 proof theory
Большой англо-русский и русско-английский словарь > proof theory
-
4 proof theory
-
5 proof theory
1) Техника: теория доказательства2) Вычислительная техника: теория доказательств -
6 proof theory
English-Russian dictionary of computer science and programming > proof theory
-
7 proof theory
teoria dowodu -
8 proof theory
-
9 proof theory
-
10 proof theory
n AI Beweistheorie f -
11 proof theory
Англо-русский словарь по исследованиям и ноу-хау > proof theory
-
12 proof
1) доказательство
2) непроницаемый
3) нормативный
4) пробный отпечаток
5) рашкетный
6) стандартный
7) проверка
8) испытание
9) защищенный
10) обоснование
11) безопасный
12) герметизировать
13) проба
– acid proof
– brush proof
– certificate of proof
– existence proof
– first proof
– foundry proof
– galley proof
– indirect proof
– irreducible proof
– not serving as a proof
– page proof
– press proof
– proof against
– proof by contradiction
– proof load
– proof press
– proof scheme
– proof spirit
– proof strength
– proof theory
– rigorous proof
– without proof
-
13 theory
1) теория
2) <phys.> борновский
3) учение
4) толкование
5) трактовка
6) истолкование
– abandon theory
– accept theory
– acid-base theory
– advance theory
– airfoil theory
– atomic theory
– band theory
– Bardeen-Cooper-Schrieffer theory
– BCS theory
– circuit theory
– classical theory
– collision theory
– combinatorial theory
– communication theory
– control theory
– deductive theory
– dimensional theory
– dislocation theory
– duality theory
– field theory
– formal theory
– gage theory
– Gersho-Rosencwaig theory
– graph theory
– group theory
– ideal theory
– impact theory
– in theory
– informal theory
– information theory
– measure theory
– object theory
– percolation theory
– pertubation theory
– perturbation theory
– probability theory
– proof theory
– quantum theory
– queueing theory
– queuing theory
– ray theory
– reject theory
– relativity theory
– reliability theory
– residue theory
– rigorous theory
– scheduling theory
– second-order theory
– set theory
– shower theory
– similarity theory
– stability theory
– switching-circuit theory
– theory of correspondence
– theory of elasticity
– theory of estimation
– theory of games
– theory of probability
– theory of queues
– theory of relativity
– theory of sampling
– theory of solids
– theory of valuations
– transport theory
additive ideal theory — <math.> теория идеалов аддитивная
barrier theory of cyclogenesis — <meteor.> теория циклогенеза заслоночная
general theory of relativity — <phys.> теория относительности общая
grand unification theory — <phys.> модель большого объединения, модель великого объединения
unified field theory — <phys.> теория поля единая, теория поля обобщенная
Yukawa meson theory — <phys.> теория мезонная юкавская
-
14 theory
1) теория; учение2) толкование; трактовка3) теоретическое объяснение; теоретические основы•- band theory of solids - corpuscular theory of light - general theory of relativity - strongly undecidable theory - wave theory of light - Yukawa meson theory -
15 theory
1) теория; теоретические основы2) метод•- automatic control theory
- axiomatic set theory
- circuit theory
- coding theory
- communication theory
- data theory
- decision theory
- formal theory of testing
- function theory
- game theory
- graph theory
- group theory
- informal theory
- information theory
- lattice theory
- logic theory
- number theory
- OSA theory
- probability theory
- proof theory
- queueing theory
- reliability theory
- renewal theory
- sampling theory
- scheduling theory
- set theory
- similarity theory
- stability theory
- statistical theory
- switching theory
- theory of algorithms
- theory of binary decisions
- theory of computing
- theory of messagesEnglish-Russian dictionary of computer science and programming > theory
-
16 ♦ proof
♦ proof (1) /pru:f/n.1 [uc] prova ( anche leg.); saggio; dimostrazione; verifica: to put a theory to the proof, mettere alla prova una teoria; absolute proof, prova incontrovertibile; concrete proof, prova concreta; tangible proof, prova tangibile (o prove tangibili); I gave him a present as (a) proof of my esteem, gli feci un dono come dimostrazione della mia stima2 (mat.) dimostrazione3 [uc] (tipogr.) prove di stampa; bozza, bozze: The book is still in proof, il libro è ancora in bozze; to read the proofs, leggere (o correggere) le bozze4 (tecn.) positivo di uno stampo6 [u] (tecn.) gradazione alcolica standard: ( di whisky, ecc.) under proof, che ha un numero insufficiente di gradi d'alcol● (filos., mat.) proof by contradiction, dimostrazione per assurdo □ proof correction, correzione di bozze □ (leg.) proof of claim (o of debts), insinuazione di crediti ( in un fallimento) □ proof of funds, dimostrazione del possesso di mezzi finanziari □ proof paper, carta per bozze □ proof positive, prova certa; prova inoppugnabile; (med.) positivo al controllo □ (tipogr.) proof press, tirabozze, torchio per bozze □ (tipogr.) proof puller, tirabozze ( addetto) □ (tipogr.) proof-pulling, tiratura delle bozze □ proof-reader ► to proof-read □ (tipogr.) proof-sheet, bozza di prova; stampone □ (prov.) The proof of the pudding is in the eating, quello che conta sono i fatti, non le parole; se son rose fioriranno.proof (2) /pru:f/a.1 (spec. nei composti) inattaccabile; a prova di; anti- (pref.): to be proof against criticism [temptations], essere inattaccabile dalle critiche [tetragono alle tentazioni]; (econ.) inflation-proof, a prova d'inflazione; a bomb-proof shelter, un rifugio a prova di bomba; a bullet-proof vest, un giubbotto antiproiettile2 (tecn.: di bevanda alcolica) che ha un certo numero di gradi: Whisky is 43 proof, il whisky ha 43 gradi● (tecn.) proof spirit, gradazione alcolica standard.(to) proof /pru:f/v. t.2 (tipogr.) tirare una bozza di● (comput.) proofing tools, strumenti di correzione. -
17 proof
1. nounin proof of — zum Beweis (+ Gen.)
the proof of the pudding is in the eating — (prov.) Probieren geht über Studieren (Spr.)
100 proof — (Brit.)
128 proof — (Amer.) 64 Vol.-% Alkohol
6) (Printing) Abzug, der2. adjective1) (impervious)be proof against something — unempfindlich gegen etwas sein; (fig.) gegen etwas immun sein
2) in comb. [kugel-, bruch-, einbruch-, diebes-, idioten]sicher; [schall-, wasser]dichtflame-proof — nicht brennbar
3) hochprozentig [Alkohol]this liqueur is 67.4° — (Brit.) or (Amer.)
3. transitive verb76.8° proof — dieser Likör hat 38,4 Vol.-% Alkohol
* * *[pru:f]1) ((a piece of) evidence, information etc that shows definitely that something is true: We still have no proof that he is innocent.) der Beweis2) (a first copy of a printed sheet, that can be corrected before the final printing: She was correcting the proofs of her novel.) die Korrekturfahne3) (in photography, the first print from a negative.) der Probeabzug•- academic.ru/114914/-proof">-proof* * *[pru:f]I. nto have \proof of sth einen Beweis für etw akk haben, etw beweisen können\proof of delivery Liefernachweis m\proof of purchase Kaufbeleg m, Quittung f SCHWEIZ, ÖSTERRthe burden of \proof LAW die Beweislast\proofs of sb's guilt Beweise für jds Schuld7. ECON\proof of debt Anmeldung f einer Konkursorderung8.▶ to put sth/sb to the \proof etw/jdn auf die Probe stellento be \proof against temptation gegen Versuchungen immun sein\proof against wind and weather wetterfestto be \proof against burglars einbruchssicher seinIII. vt▪ to \proof sth3. (rise) dough etw gehen lassen* * *[pruːf]1. n1) Beweis m (of für)as proof of — als or zum Beweis für
to put sth to the proof — etw auf die Probe stellen; (Tech) etw erproben
that is proof that... — das ist der Beweis dafür, dass...
to give or show proof of sth — etw nachweisen, den Nachweis für etw liefern
what proof is there that he meant it? — und was beweist, dass er es ernst gemeint hat?
2) (= test, trial) Probe fwithstanding these conditions is the proof of a good paint — es ist der Beweis für die Qualität einer Farbe, wenn sie solchen Bedingungen standhält
the proof of the pudding is in the eating (Prov) — Probieren or probieren geht über Studieren or studieren (Prov)
70% proof — ≈ 40 Vol-%
2. adj(= resistant)to be proof against fire/bullets — feuersicher/kugelsicher sein
3. vt1) (against water) imprägnieren* * *proof [pruːf]A adjproof against rain regenfest, -dicht2. gefeit, gewappnet, immun ( alle:against gegen):they are proof against such weather ein solches Wetter kann ihnen nichts anhaben3. unzugänglich (auch fig):proof against bribes unbestechlich;proof against entreaties unerbittlich4. Probe…, Prüf…:proof load Probebelastung f;proof stress Prüfspannung f6. US Feingold oder -silber betreffend, das die Münzämter der USA als Standard benutzenB s1. Beweis m, Nachweis m:give proof of etwas beweisen, unter Beweis stellen;proof of age Altersnachweis;proof of purchase Kaufbeleg m, -nachweis;proof to the contrary Gegenbeweis2. JUR Beweis(mittel) m(n oder pl), -stück n, Beleg(e) m(pl)3. JUR (schriftliche) (Beweis-, Zeugen-)Aussageput to the proof auf die Probe stellen;the proof of the pudding is in the eating (Sprichwort) Probieren geht über Studieren5. TYPOa) Korrekturfahne f, -bogen mclean proof Revisionsbogen;foul proof unkorrigierter Abzug;correct proofs, read proof Korrektur lesen7. a) Normalstärke f (alkoholischer Getränke)b) Proof n (Maß für den Alkoholgehalt von Getränken)C v/t* * *1. noun1) (fact, evidence) Beweis, der3) no pl. (proving)in proof of — zum Beweis (+ Gen.)
the proof of the pudding is in the eating — (prov.) Probieren geht über Studieren (Spr.)
100 proof — (Brit.)
128 proof — (Amer.) 64 Vol.-% Alkohol
6) (Printing) Abzug, der2. adjective1) (impervious)be proof against something — unempfindlich gegen etwas sein; (fig.) gegen etwas immun sein
2) in comb. [kugel-, bruch-, einbruch-, diebes-, idioten]sicher; [schall-, wasser]dicht3) hochprozentig [Alkohol]this liqueur is 67.4° — (Brit.) or (Amer.)
3. transitive verb76.8° proof — dieser Likör hat 38,4 Vol.-% Alkohol
* * *(printing) n.Abzug ¨-e m.Korrekturbogen m.Korrekturfahne f.Probeabzug m. adj.beständig adj.fest adj.sicher adj.undurchdringlich adj. n.Beweis -e m.Nachweis -e m.Probe -n f. v.beständig machen ausdr.dicht machen ausdr.imprägnieren v. -
18 proof
I[pru:f] n ապացույց, փաստարկ. as/in proof of ի/որպես ապացույց. as proof of his regard որպես հարգանքի ապացույց. proof of claim իրավ. հայցի հիմնավորում. burden of proof ապա ցուցման պարտականություն. (փորձ, ստուգում) put the theory to the proof ստու գել/ փորձարկել տեսությունը. տպգր. սրբագրում. լսնկ. փորձնական տպվածք. galley proofs շարվածասյուներ. page proofs շարվածք. proof sheets սրբագրության արտատիպ. ալկոհոլի թնդության աստիճանը. 40% proof քառասուն աստիճան թնդությունII[pru:f] a ոչ թափանցիկ, դիմացկուն, չենթարկվող. water/ shower proof անջրաթափանց. shrink proof չմտնող (կտոր). sound proof ձայնամեկուսիչ. proof against temptation չգայթակղվող -
19 theory of proof
Математика: теория доказательства -
20 theory susceptible of proof
Общая лексика: лёгко доказуемая теорияУниверсальный англо-русский словарь > theory susceptible of proof
См. также в других словарях:
Proof theory — proof theory … Philosophy dictionary
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
proof theory — The study of the relations of deducibility among sentences in a logical calculus . Deducibility is defined purely syntactically, that is, without reference to the intended interpretation of the calculus. See also model theory … Philosophy dictionary
Structural proof theory — In mathematical logic, structural proof theory is the subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof. Contents 1 Analytic proof 2 Structures and connectives 3 Cut elimination in the sequent… … Wikipedia
Proof — may refer to: * A rigorous, compelling argument ** Formal proof ** Mathematical proof ** Proof theory, a branch of mathematical logic that represents proofs as formal mathematical objects ** Logical argument ** Evidence (law), tested evidence or… … Wikipedia
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
Proof calculus — In mathematical logic, a proof calculus corresponds to a family of formal systems that use a common style of formal inference for its inference rules. The specific inference rules of a member of such a family characterize the theory of a… … Wikipedia
Theory — The word theory has many distinct meanings in different fields of knowledge, depending on their methodologies and the context of discussion.In science a theory is a testable model of the manner of interaction of a set of natural phenomena,… … Wikipedia
Proof mining — In proof theory (a branch of mathematical logic), proof mining is a research program [cite book title = Applied Proof Theory: Proof Interpretations and Their Use in Mathematics author = Ulrich Kohlenbach publisher = Springer Verlag, Berlin year … Wikipedia
Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… … Wikipedia
Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… … Wikipedia